(declare-sort S0)

(declare-sort S1)

(declare-fun arr-7575740547724575015_1595139601661751534-0 () (Array Bool (Array Int Int)))
(declare-fun arr--4150643338936819323_-2156646516907760407-0 () (Array S0 (Array Bool (Array Int Int))))
(declare-fun arr--4150643338936819323_3598003500231606762-0 () (Array S0 (Array S0 (Array Bool (Array Int Int)))))
(declare-fun arr--4150643338935736798_1481373571362265372-0 () (Array S1 (Array S1 S1)))
(declare-fun arr-1481373571362265372_3598003500231606762-0 () (Array (Array S1 S1) (Array S0 (Array Bool (Array Int Int)))))
(declare-fun arr-1481373571362265372_3155022827129298466-0 () (Array (Array S1 S1) (Array (Array S1 S1) (Array S0 (Array Bool (Array Int Int))))))
(declare-fun S1-0 () S1)
(declare-fun arr-3598003500231606762_-7883597554349705702-0 () (Array (Array S0 (Array Bool (Array Int Int))) (Array (Array S1 S1) (Array (Array S1 S1) (Array S0 (Array Bool (Array Int Int)))))))
(declare-fun arr--2156646516907760407_5168333755238154943-0 () (Array (Array Bool (Array Int Int)) (Array (Array S0 (Array S0 (Array Bool (Array Int Int)))) (Array S1 S1))))
(assert (= arr-3598003500231606762_-7883597554349705702-0 (store (store arr-3598003500231606762_-7883597554349705702-0 (select arr-1481373571362265372_3598003500231606762-0 (select arr--4150643338935736798_1481373571362265372-0 S1-0)) arr-1481373571362265372_3155022827129298466-0) arr--4150643338936819323_-2156646516907760407-0 (store arr-1481373571362265372_3155022827129298466-0 (select (select arr--2156646516907760407_5168333755238154943-0 arr-7575740547724575015_1595139601661751534-0) arr--4150643338936819323_3598003500231606762-0) arr-1481373571362265372_3598003500231606762-0))))
(check-sat)
